Nuprl Definition : es-r-pred
11,40
postcript
pdf
es-r-pred{i:l}(
es
;
d
;
R
) == (TERMOF{
causal-pred-from-relation
:ObjectId, 1:l, i:l}(
es
,
R
,
d
)).1
latex
clarification:
es-r-pred{i:l}(
es
;
d
;
R
) == (TERMOF{
causal-pred-from-relation
:ObjectId, 1:l, i:l}(
es
,
R
,
d
)).1
latex
Definitions
t
.1
,
f
(
a
)
,
causal-pred-from-relation
FDL editor aliases
es-r-pred
origin